#ifndef _IWDG_H
#define _IWDG_H

#include "stm32f4xx.h"

void iwdg_init(u16 ms);

#endif 

